Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Primitive recursion for higher-order abstract syntax

Année:
2001
Langue:
english
Fichier:
PDF, 331 KB
english, 2001
2

Theo: An interactive proof development system

Année:
1992
Langue:
english
Fichier:
PDF, 1.04 MB
english, 1992
3

Recursion over objects of functional type

Année:
2001
Langue:
english
Fichier:
PDF, 403 KB
english, 2001
4

An algebraic specification of a Pascal compiler

Année:
1983
Langue:
english
Fichier:
PDF, 738 KB
english, 1983
7

Hybrid and Subexponential Linear Logics

Année:
2017
Langue:
english
Fichier:
PDF, 297 KB
english, 2017
8

Hybrid linear logic, revisited

Année:
2019
Langue:
english
Fichier:
PDF, 1.37 MB
english, 2019